The project command takes two parameters. The first parameter
is the protocol description to be projected and the second parameter is the
participant.

For example, if the user is in the top level folder of the Scribble tools distribution,
without the bin folder being added to the system path, then the
following command can be executed to project one of the sample protocol descriptions:

bin/project.sh samples/purchasing/Purchasing.spr CreditAgency

This results in the following located Protocol being displayed on the console:

import Order;
import CreditCheck;
import CreditOk;
import Confirmation;
import InsufficientCredit;
import OrderRejected;
import OutOfStock;
protocol Purchasing at CreditAgency(role Seller) {
    CreditCheck from Seller;
    choice at CreditAgency {
        CreditOk to Seller;
    } or {
        InsuficientCredit to Seller;
    }
}